The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...